Formal methods - PDFSEARCH.IO - Document Search Engine

Formal methods
Results: 2204

#	Item
461	Department of Information Technology IV&V Guidelines [Which, e.g. Initial, Interim, Final] IV&V Report: [Agency Name] [Deliverable Name and/or #] Add to Reading List Source URL: www.doit.state.nm.us Language: English - Date: 2011-07-21 15:53:24 Technology Software quality Data security Formal methods Systems engineering process IT risk management Quality assurance Reliability engineering Software development process Systems engineering Science Information technology management
462	Mathematically Verified Software Kernels: Raising the Bar for High Assurance Implementations Dr Daniel Potts, VP of Engineering, General Dynamics C4 Systems Rene Bourquin, Member Technical Staff, General Dynamics C4 Syst Add to Reading List Source URL: sel4.systems Language: English - Date: 2014-07-28 22:03:39 Evaluation Trusted computing base Microkernel L4 microkernel family Real-time operating systems Gernot Heiser Formal verification Isabelle Formal methods Computer security Computer architecture Computing
463	ADEPT for Library Media Specialists Formal Evaluation Guidelines Add to Reading List Source URL: www.scasl.net Language: English - Date: 2015-05-08 10:05:50 Library science Cognition Evaluation Educational psychology Teacher-librarian Information literacy Educational assessment Librarian Professional development Education Knowledge Evaluation methods
464	Verifying Safety Properties using Separation and Heterogeneous Abstractions Eran Yahav∗ G. Ramalingam Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2004-04-25 07:36:40 Predicate logic Formal methods Logic in computer science Systems engineering First-order logic Model theory Java Database Connectivity Abstraction Formal verification Logic Mathematical logic Mathematics
465	Viktor Kuncak Swiss Federal Institute of Technology (EPFL) School of Computer & Communications Sciences, INR 318 Station 14 CH-1015 Lausanne, Switzerland web page: http://lara.epfl.ch/˜kuncak Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2014-09-27 12:22:24 Computing Association for Computing Machinery Logic in computer science Principles of Programming Languages Programming Language Design and Implementation SIGPLAN Formal verification Model checking Computer Aided Verification Computer science Theoretical computer science Formal methods
466	Sets with Cardinality Constraints in Satisfiability Modulo Theories Philippe Suter? , Robin Steiger, and Viktor Kuncak ´ Ecole Polytechnique F´ed´erale de Lausanne (EPFL), Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-11-10 10:57:45 Metalogic Formal methods Model theory Logic in computer science NP-complete problems First-order logic Satisfiability Modulo Theories Function Interpretation Logic Mathematics Theoretical computer science
467	Spinning Into Control Bell Labs’ verification tool: coming to a compiler near you? errors. In one case, the programmers said, “We’ll fix it, but it’s so unlikely to happen that we’re really wasting our time.” Add to Reading List Source URL: spinroot.com Language: English - Date: 2008-06-30 15:34:26 Compiler construction SPIN model checker Software bug Gerard J. Holzmann Holzmann Programming tool Embedded system Compiler Software Formal methods Computing
468	Mining Apps to Learn Normal Behavior Add to Reading List Source URL: www.informatics-europe.org Language: English - Date: 2014-10-21 03:47:57 Formal methods Logic in computer science SQL Postcondition Specification language Formal specification XML Program synthesis Computing Theoretical computer science Software engineering
469	Gerard J. Holzmann Work: Laboratory for Reliable Software NASA/JPL, 4800 Oak Grove Drive Add to Reading List Source URL: spinroot.com Language: English - Date: 2015-05-15 14:06:48 Science Software development Logic in computer science Systems engineering Software quality Gerard J. Holzmann Software verification Formal verification Model checking Formal methods Theoretical computer science Software testing
470	Cópia de IPS+STS Sessions Schedule V4.xlsx Add to Reading List Source URL: www.isi2015.org Language: English - Date: 2015-05-28 08:35:04 Data analysis Scientific method Research methods Econometrics Data mining Statistical inference Spatial analysis Exploratory data analysis Regression analysis Statistics Science Formal sciences

UPDATE